1. Advances in Evolutionary Computing :
پدیدآورنده: edited by Ashish Ghosh, Shigeyoshi Tsutsui.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Computer software.,Information theory.
2. Bioinspired Computation in Combinatorial Optimization
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Mathematical optimization. ; Computer science. ; Artificial intelligence. ; Computer software. ; Information theory. ; Optimization. ;
3. Complex systems in knowledge-based environment
پدیدآورنده: / Andreas Tolk, Lakhmi C. Jain (eds.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Knowledge representation (Information theory),Expert systems (Computer science),Intelligent agents (Computer software)
رده :
Q
,
387
,.
C66
,
2009
4. Complex systems in knowledge based environments : theory, models and applications
پدیدآورنده: Andreas Tolk, Lakhmi C. Jain )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Knowledge representation )Information theory(,، Expert systems )Computer science(,، Intelligent agents )Computer software(
رده :
Q
387
.
C65
5. Complex systems in knowledge-based environments :theory, models and applications
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه الزهراء (س) (تهران)
موضوع: ، Knowledge representation-Information theory,، Expert systems -Computer science,، Intelligent agents -Computer software,، Representation des connaissances,، Systemes experts -Informatique
رده :
Q
387
.
C66
2009
6. Computer science :
پدیدآورنده: Edward K. Blum, Alfred V. Aho, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Information theory.,Software engineering.
رده :
QA76
.
C66
2011
7. Formal Aspects of Component Software
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computer Science; Software Engineering; Theory of Computation; Mathematical Logic and Foundations; Information Systems and Communication Service
8. Formal methods :
پدیدآورنده: Flemming Nielson, Hanne Riis Nielson.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Formal methods (Computer science),Information theory.,Software engineering.,Formal methods (Computer science),Information theory.,Software engineering.
رده :
QA76
.
9
.
F67
N45
2019
9. Graph Colouring and the Probabilistic Method
پدیدآورنده: by Michael Molloy, Bruce Reed.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Combinatorics.,Computer science.,Computer software.,Distribution (Probability theory).,Information theory.,Mathematics.
10. Human Benefit through the Diffusion of Information Systems Design Science Research :
پدیدآورنده: edited by Jan Pries-Heje, John Venable, Deborah Bunker, Nancy L. Russo, Janice I. DeGross.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Information theory.,Software engineering.
رده :
QA76
.
9
.
S88
E358
2010
11. Informatik :
پدیدآورنده: Wolfgang Kastner, Gerhard-Helge Schildt ; Begleitbuch zu Blieberger et al., Informatik.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Data structures (Computer science),Information theory.,Software engineering.,Data structures (Computer science),Information theory.,Software engineering.
12. Mathematical Foundations of Computer Science 1996 :
پدیدآورنده: edited by Wojciech Penczek, Andrzej Szałas.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Information theory.,Software engineering.
رده :
QA76
.
9
.
M35
E358
1996
13. Optical Network Design and Modeling
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computer Science; Computer Communication Networks; Data Structures, Cryptology and Information Theory; Software Engineering/Programming and Operating Systems; Computer Hardware
14. Quantum interactio
پدیدآورنده: / Dawei Song ... [et al.] (eds.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Artificial intelligence--Congresses,Quantum theory--Congresses,Computer science,Information theory,Computer software,Electronic data processing,Artificial intelligence,Theory of Computation,Algorithm Analysis and Problem Complexity,Mathematical Logic and Formal Languages,Artificial Intelligence (incl. Robotics),Mathematics of Computing,Computing Methodologies
رده :
Q
,
334
,.
Q25
,
2011
15. Software Engineering 3
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Information theory. ; Software engineering. ; Computer science. ; Logic design. ; Theory of Computation. ;
16. Software engineering and knowledge engineering
پدیدآورنده:
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع: Software engineering,Expert systems (Computer science),Knowledge representation (Information theory)
رده :
QA76
.
758
.
S6456
1995
17. Software engineering and knowledge engineering: trends for the next decade
پدیدآورنده :
موضوع : ، Software engineering,، Expert systems )Computer science(,، Knowledge representation )Information theory(
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
18. Statistisches Matching mit Fuzzy Logic :
پدیدآورنده: Patrick Noll ; Mit einem Geleitw. von Paul Alpar.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Information theory.,Software engineering.,Computer Science, general.,Software Engineering/Programming and Operating Systems.,Theory of Computation.
رده :
GB656
.
2
.
H9
19. Synchronous Programming of Reactive Systems
پدیدآورنده: by Nicolas Halbwachs.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Information theory.,Operating systems (Computers),Software engineering.
20. Theoretische Informatik :
پدیدآورنده: von Klaus W. Wagner.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Computer software.,Information theory.
رده :
QA76
.
9
.
A73
V665
2003
